fermats theorem example